图灵机在理论上证明了计算可以自动化。A:正确 B:错误答案: 正确第五章第五章测试